Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems
نویسندگان
چکیده
In this paper, we introduce a general-purpose approach for the detection and reduction of overestimation in verified interval simulations of the dynamics of mechanical systems. For that purpose, we automatically derive constraints which eliminate physically meaningless parts of the state enclosures of the corresponding ordinary differential equations. The practical applicability of this procedure is demonstrated by a prototypical implementation using the verified solver ValEncIA-IVP. This extension of ValEncIA-IVP is interfaced with SmartMOBILE, a tool for modeling and simulation of mechanical multibody systems. Simulation results are presented to characterize this new strategy.
منابع مشابه
Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems
Interval arithmetic techniques such as VALENCIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with bounded uncertainties of both initial conditions and system parameters. Considering the fact that, in naive implementations of interval algorithms, overestimation might lead to unnecessarily conservative results, suitable consistency tests...
متن کاملMULTIPLE PERIODIC SOLUTIONS FOR A CLASS OF NON-AUTONOMOUS AND CONVEX HAMILTONIAN SYSTEMS
In this paper we study Multiple periodic solutions for a class of non-autonomous and convex Hamiltonian systems and we investigate use some properties of Ekeland index.
متن کاملDilations, models, scattering and spectral problems of 1D discrete Hamiltonian systems
In this paper, the maximal dissipative extensions of a symmetric singular 1D discrete Hamiltonian operator with maximal deficiency indices (2,2) (in limit-circle cases at ±∞) and acting in the Hilbert space ℓ_{Ω}²(Z;C²) (Z:={0,±1,±2,...}) are considered. We consider two classes dissipative operators with separated boundary conditions both at -∞ and ∞. For each of these cases we establish a self...
متن کاملPlanar and SPECT Monte Carlo acceleration using a variance reduction technique in I131 imaging
Background: Various variance reduction techniques such as forced detection (FD) have been implemented in Monte Carlo (MC) simulation of nuclear medicine in an effort to decrease the simulation time while keeping accuracy. However most of these techniques still result in very long MC simulation times for being implemented into routine use. Materials and Methods: Convolution-based force...
متن کاملNew conditions on ground state solutions for Hamiltonian elliptic systems with gradient terms
This paper is concerned with the following elliptic system:$$ left{ begin{array}{ll} -triangle u + b(x)nabla u + V(x)u=g(x, v), -triangle v - b(x)nabla v + V(x)v=f(x, u), end{array} right. $$ for $x in {R}^{N}$, where $V $, $b$ and $W$ are 1-periodic in $x$, and $f(x,t)$, $g(x,t)$ are super-quadratic. In this paper, we give a new technique to show the boundedness of Cerami sequences and estab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Reliable Computing
دوره 15 شماره
صفحات -
تاریخ انتشار 2011